METAMIC SYMBOLS OF TERMINOLOGICAL DEFINITION

A Terminological Logic with Defaults: A Definition and an Application

In this paper we present a terminological language which includes defaults, and a deenition of default subsumption based on the notion of skeptical inheritance in default reasoning. Except for the inclusion of defaults the language is limited when compared to most terminological logics. However defaults are a necessary construct in many applications and we suggest that the language presented he...

An Empirical Analysis of Terminological Representation Systems Terminological Representation Systems

The family of terminological representation systems has its roots in the representation system kl-one. Since the development of kl-one more than a dozen similar representation systems have been developed by various research groups. These systems vary along a number of dimensions. In this paper, we present the results of an empirical analysis of six such systems. Surprisingly, the systems turned...

Definition of Architecture

This paper seeks to investigate a new definition for architecture by unifying the three Vitruvian principles of firmitas, utilities, and venustas via a phenomenological approach in the interpretation and analysis of their role in defining architecture. The paper is composed in two main sections. The first section investigates the nature of architecture based on the mentioned principles, where a...

Optimisation of Terminological Reasoning

Optimisation of Terminological Reasoning

The problem of computing concept subsumption relationships has been the subject of much research, and sound and complete algorithms are now known for a wide range of DLs (for example [9, 2, 7, 11]). However, in spite of the fundamental importance of terminologies in DLs, most of these algorithms deal only with the problem of deciding subsumption between two concepts (or, equivalently, concept s...